Issue1428.agda:6,6-10
Set != Set₁
when checking the definition of Wrap
